#ifndef _EK_DEBUG_H_
#define _EK_DEBUG_H_

void monitor(struct trapframe_t *tf);

#endif /* _EK_DEBUG_H_ */
